fseg($T$;$L_{1}$;$L_{2}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\exists$$L$:$T$ List. ($L_{2}$ = ($L$ @ $L_{1}$))